20 documents satisfont la requête. Vérifiez les termes recherchés ou relancez la recherche sur le texte intégral
Robustness Testing on Composed Timed Systems
Auteur(s) : Fouchal, H. Rollet, Antoine Tarhini, Abbas
Auteurs secondaires : Groupe de Recherche en Informatique et Mathématiques Appliquées Antilles-Guyane (GRIMAAG) ; Université des Antilles et de la Guyane (UAG) Laboratoire Bordelais de Recherche en Informatique (LaBRI) ; Centre National de la Recherche Scientifique (CNRS) - École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB) - Université Sciences et Technologies - Bordeaux 1 - Université Bordeaux Segalen - Bordeaux 2 		Partager

| Plus
Voyages aux Isles de l'Amérique (Antilles) : 1693-1705 : trente-deux illustrations d'après des documents de l'époque.Tome 1
Auteur(s) : Labat, Jean-Baptiste (1663-1738)
Auteurs secondaires : T'Serstevens, Albert (1886-1974)
Année de publication :

Partager

| Plus
Testing protocol robustness
Auteur(s) : Rollet, Antoine Fouchal, H.
Auteurs secondaires : Laboratoire Bordelais de Recherche en Informatique (LaBRI) ; Centre National de la Recherche Scientifique (CNRS) - École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB) - Université Sciences et Technologies - Bordeaux 1 - Université Bordeaux Segalen - Bordeaux 2 Groupe de Recherche en Informatique et Mathématiques Appliquées Antilles-Guyane (GRIMAAG) ; Université des Antilles et de la Guyane (UAG) 		Partager

| Plus
Robustness of Composed Timed Systems.
Auteur(s) : Fouchal, H. Rollet, Antoine Tarhini, Abbas
Auteurs secondaires : Groupe de Recherche en Informatique et Mathématiques Appliquées Antilles-Guyane (GRIMAAG) ; Université des Antilles et de la Guyane (UAG) Laboratoire Bordelais de Recherche en Informatique (LaBRI) ; Centre National de la Recherche Scientifique (CNRS) - École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB) - Université Sciences et Technologies - Bordeaux 1 - Université Bordeaux Segalen - Bordeaux 2 		Partager

| Plus
A Simple Testing Technique for Embedded Systems
Auteur(s) : Fouchal, H. Rollet, Antoine
Auteurs secondaires : Groupe de Recherche en Informatique et Mathématiques Appliquées Antilles-Guyane (GRIMAAG) ; Université des Antilles et de la Guyane (UAG) Laboratoire Bordelais de Recherche en Informatique (LaBRI) ; Centre National de la Recherche Scientifique (CNRS) - École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB) - Université Sciences et Technologies - Bordeaux 1 - Université Bordeaux Segalen - Bordeaux 2 		Partager

| Plus
Integrated tool for testing timed systems
Auteur(s) : Fouchal, H. Pierre, Laurent Gruson, Sébastien Rabat, Cyril Rollet, Antoine
Auteurs secondaires : Groupe de Recherche en Informatique et Mathématiques Appliquées Antilles-Guyane (GRIMAAG) ; Université des Antilles et de la Guyane (UAG) Centre de Recherche en Sciences et Technologies de l'Information et de la Communication - EA 3804 (CRESTIC) ; Université de Reims Champagne-Ardenne (URCA) Laboratoire Bordelais de Recherche en Informatique (LaBRI) ; Centre National de la Recherche Scientifique (CNRS) - École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB) - Université Sciences et Technologies - Bordeaux 1 - Université Bordeaux Segalen - Bordeaux 2 		Partager

| Plus
Temporal and Behavior Characterization of States in Timed Systems
Auteur(s) : Salva, Sébastien Rollet, Antoine Fouchal, H.
Auteurs secondaires : Laboratoire d'Informatique, de Modélisation et d'optimisation des Systèmes (LIMOS) ; Centre National de la Recherche Scientifique (CNRS) - Sigma CLERMONT (Sigma CLERMONT) - Université d'Auvergne - Clermont-Ferrand I (UdA) - Université Blaise Pascal - Clermont-Ferrand 2 (UBP) Laboratoire Bordelais de Recherche en Informatique (LaBRI) ; Centre National de la Recherche Scientifique (CNRS) - École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB) - Université Sciences et Technologies - Bordeaux 1 - Université Bordeaux Segalen - Bordeaux 2 Groupe de Recherche en Informatique et Mathématiques Appliquées Antilles-Guyane (GRIMAAG) ; Université des Antilles et de la Guyane (UAG) 		Partager

| Plus
Experimental results on testing real-time systems
Auteur(s) : Fouchal, H. Rabat, Cyril Rollet, Antoine Tarhini, Abbas
Auteurs secondaires : Groupe de Recherche en Informatique et Mathématiques Appliquées Antilles-Guyane (GRIMAAG) ; Université des Antilles et de la Guyane (UAG) Centre de Recherche en Sciences et Technologies de l'Information et de la Communication - EA 3804 (CRESTIC) ; Université de Reims Champagne-Ardenne (URCA) Laboratoire Bordelais de Recherche en Informatique (LaBRI) ; Centre National de la Recherche Scientifique (CNRS) - École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB) - Université Sciences et Technologies - Bordeaux 1 - Université Bordeaux Segalen - Bordeaux 2 		Partager

| Plus
A pragmatic approach for testing robustness on real-time component based systems.
Auteur(s) : Tarhini, Abbas Rollet, Antoine Fouchal, H.
Auteurs secondaires : Laboratoire Bordelais de Recherche en Informatique (LaBRI) ; Centre National de la Recherche Scientifique (CNRS) - École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB) - Université Sciences et Technologies - Bordeaux 1 - Université Bordeaux Segalen - Bordeaux 2 Groupe de Recherche en Informatique et Mathématiques Appliquées Antilles-Guyane (GRIMAAG) ; Université des Antilles et de la Guyane (UAG) 		Partager

| Plus
La terreur sous le directoire : Histoire de la persécution politique et religieuse après le coup d'état du 18 fructidor (4 septembre 1797)
Auteur(s) : Pierre, Victor (1834-1906)
Année de publication :

Partager

| Plus
La France et ses colonies. Tome 1: En France
Auteur(s) : Reclus, Onésime (1837-1916)
Année de publication :

Partager

| Plus
Bulletin officiel de la Guyane française
Année de publication :

Partager

| Plus
La Martinique : historique des paroisses des origines à la séparation
Auteur(s) : Rennard, Joseph (18..-1958 ; Abbé)
Année de publication :

Partager

| Plus
Bulletin officiel de la Guyane française
Année de publication :

Partager

| Plus
Nouveau voyage aux isles de l'Amérique, contenant l'histoire naturelle de ces pays, l'origine, les moeurs, la religion & le gouvernement des habitans anciens et modernes. Les guerres et les evenemens singuliers qui y sont arrivez pendant le séjour que l'Auteur y a fait. Tome premier
Auteur(s) : Labat, Jean-Baptiste (1663-1738)
Année de publication :

Partager

| Plus
Recueil de divers voyages faits en Afrique et en l'Amerique, qui n'ont point esté encore publiez ; contenant l'origine, les moeurs, les coûtumes & le commerce des habitans de ces deux parties du monde. Avec des traitez curieux touchant la Haute Ethyopie, le débordement du Nil, la mer Rouge, & le Prete-Jean. Le tout enrichi de figures, & de cartes geographiques, qui servent à l'intelligence des choses contenuës en ce volume
Année de publication :

Partager

| Plus
L'abolitioniste français. Tome III
Auteur(s) : Société française pour l'abolition de l'esclavage
Année de publication :

Partager

| Plus
Les isles : Antilles, Isle Bourbon, Isle de France, Isle Dauphine ou Madagascar
Auteur(s) : Barquisseau, Raphaël (1888-1961)
Année de publication :

Partager

| Plus
Recueil de divers voyages faits en Afrique et en l'Amérique qui n'ont point esté encore publiez : contenant l'origine, les moeurs, les coûtumes & le commerce des habitans de ces deux parties du monde : avec des traitez curieux touchant la Haute Ethyopie, le débordement du Nil, la mer Rouge et le Prete-Jean. Le tout enrichi de figures, & de cartes géographiques, qui servent à l'intelligence des choses contenuës en ce volume
Auteur(s) : Justel, Henri (1620-1693)
Auteurs secondaires : Ligon, Richard (1585?-1662) Lobo, Geronimo (1959?-1678)
Année de publication :

Partager

| Plus
Les origines de la colonisation française aux Antilles : la Compagnie des Indes occidentales
Auteur(s) : Barrey, Philippe (1870-1919)
Année de publication :

Partager

| Plus